Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
381	Lightweight Fusion by Fixed Point Promotion ∗ (the author’s version) Isao Sasano † Atsushi Ohori Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2008-10-23 00:04:30 Higher-order functions Recursion Functions and mappings Computability theory Fold Lambda calculus Map Function Antiderivative Mathematics Mathematical analysis Computing
382	Generating a Pattern Matching Compiler by Partial Evaluation Jesper Jørgensen ∗ DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:04 Logic in computer science Models of computation Lambda calculus Functional programming Programming language semantics Denotational semantics Fixed-point combinator Compiler-compiler Compiler Software engineering Computing Theoretical computer science
383	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
384	K-THEORETIC SCHUBERT CALCULUS FOR OG(n, 2n + 1) AND JEU DE TAQUIN FOR SHIFTED INCREASING TABLEAUX EDWARD CLIFFORD, HUGH THOMAS, AND ALEXANDER YONG Abstract. We present a proof of a Littlewood-Richardson rule for the K-th Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-08-14 13:11:11 Symmetric functions Representation theory Algebraic combinatorics Lambda calculus Young tableau Littlewood–Richardson rule Jeu de taquin Combinatory logic Abstract algebra Algebra Mathematics
385	Towards a Portable and Mobile Scheme Interpreter Adrien Pi´erard Marc Feeley Universit´e Paris 6 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:08 Subroutines Functional programming Scheme programming language Functional languages Control flow Scheme Closure Continuation Lambda calculus Software engineering Computing Computer programming
386	Under consideration for publication in Math. Struct. in Comp. Science A Type System for Discretionary Access Control M I C H E L E B U G L I E S I1 , D A R I O C O L A Z Z O2 , S I L V I A C R A F A3 , and D A M I A N O Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2010-06-10 05:02:46 Programming language theory Type system Lambda calculus Subtype polymorphism System F Π-calculus Type safety Type theory Software engineering Theoretical computer science
387	Partial Evaluation of Maple ∗ Jacques Carette Department of Computing and Software Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-10-31 15:12:33 Functional languages Procedural programming languages Lambda calculus Cross-platform software Maple Maplesoft Partial evaluation Fixed-point combinator ALGOL 68 Software engineering Computing Computer programming
388	Canonical Constituents and Non-canonical Coordination Simple Categorial Grammar Account Oleg Kiselyov Tohoku University, Japan Add to Reading List Source URL: okmij.org Language: English - Date: 2015-02-20 23:56:29 Logical syntax Deduction Proof theory Lambda calculus Categorial grammar Coordination Admissible rule Simply typed lambda calculus Entailment Logic Mathematical logic Propositional calculus
389	Communication Interference in Mobile Boxed Ambients? Michele Bugliesi 1 , Silvia Crafa 1 , Massimo Merro 2 , and Vladimiro Sassone 3 Abstract. Boxed Ambients (BA) replace Mobile Ambients’open capability with communicat Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:57:37 Ambient calculus Mathematics Computer science Π-calculus Lambda calculus Mobile Membranes Process calculi Theoretical computer science Applied mathematics
390	Document number: N2510=Alisdair Meredith on behalf of BSI PanelBSI Position on Lambda Functions Background Add to Reading List Source URL: www.open-std.org Language: English - Date: 2008-02-04 01:08:24 Lambda calculus Subroutines Anonymous function Functional programming Closure C++11 C++ Lambda Binary lambda calculus Software engineering Computing Computer programming

UPDATE